روش تابلویی برای بررسی قواعد پذیرفتنی در s4

پایان نامه
  • وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
  • نویسنده مریم رستمی گیو
  • استاد راهنما مجتبی آقایی
  • تعداد صفحات: ۱۵ صفحه ی اول
  • سال انتشار 1392
چکیده

قواعد پذیرفتنی می توانند در هر اشتقا‏ق از هر سیستم اصل بندی استفاده شوند. در این پایان نامه ابتدا قواعد به شکل نرمال کاهشی تبدیل می شوند سپس براساس الگوریتم معرفی شده پذیرفتنی بودن قواعد مورد بررسی قرار می گیرد. سپس، منطق وجهی s4 با استفاده از خاصیت هم-پوشایی توسیع داده می شود. به طور خاص‏، قواعد پذیرفتنی در ‎s4‎ به یک فرمول قابل ارضا در توسیعی از منطق ‎‎‎s4 کاهش داده می شوند. منطق توسیع داده شده‏، به وسیله ی کلاسی از مدل ها مشخص می شود؛ که نوعی دیگر از خاصیت هم-پوشایی را ارضا می کند. این کلاس از مدل ها قابل صورت بندی به وسیله ی یک توصیف مرتبه اول خوش تعریف است.دز این پایان نامه روش ساخت یک حساب تابلویی سالم، کامل و متوقف شونده ارائه شده است. که با استفاده از این روش یک الگوریتم معرفی شده است که این الگوریتم پذیرفتنی بودن یا پذیرفتنی نبودن قواعد را نتیجه می دهد.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Text S4

Our discussion in the main text on selected marker-panel genes provides some insight into their role in disease. Next, rather than focusing on a limited number of genes (such as only those in our marker-panel), we extended our analysis to large sets of gene pairs that distinguish GBM from OLG. We hypothesized that utilizing more complete information would offer more direct insight into the basi...

متن کامل

The Incompleteness of S4 ⨁ S4 for the Product Space

Shehtman introduced bimodal logics of the products of Kripke frames, thereby introducing frame products of unimodal logics. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalize this idea to the bimodal logics of the products of topological spaces, thereby introducing topological products of unimodal logics. In particular, they show that the topological product of S4 and S4 is S4 ⊕ S4, i....

متن کامل

Text S4.dvi

We display in Fig. 1, for comparison, the topological coefficients as computed from different data sources for the yeast TRN, superposed on the scatter plots for the ensemble of model networks. We see that although there are partial differences between the data sets, all are compatible with the model results. Since the different data sets encompass slightly different sets of genes, this goes fu...

متن کامل

بررسی عوامل جذب سرمایه گذاری مستقیم خارجی در صنایع پتروشیمی ایران به روش داده های تابلویی

صنعت پتروشیمی یکی از اساسی ترین و مهمترین صنایع موجود در جهان بوده که از آن به عنوان صنعت مادر یاد می شود. بنابراین، با توجه به ارتباط بالا دست و پایین دست این صنعت با سایر صنایع، گسترش ظرفیتهای صنعت پتروشیمی از طریق جذب سرمایه گذاری خارجی می تواند نقش موثری در رشد و توسعه اقتصادی کشورها در گذار تاریخی آنها داشته باشد.در این مطالعه، چگونگی جذب این نوع سرمایه گذاریها از طریق تدوین یک مدل جذب سرم...

متن کامل

S4 prescribing for podiatrists

This session will cover the legislation affecting the prescribing of scheduled medicines by endorsed podiatrists, possession, administration and supply. It will include the differences between state and territory drugs and poisons requirements, issues in the preparation of prescriptions and what can go wrong. Risk management and the role of podiatrists in the quality use of medicines in Austral...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023